Dissipative Stopwatches
نویسندگان
چکیده
منابع مشابه
The Impressive Power of Stopwatches
In this paper we define and study the class of stopwatch automata which are timed automata augmented with stopwatches and unobservable behaviour. In particular, we investigate the expressive power of this class of automata, and show as a main result that any finite or infinite timed language accepted by a linear hybrid automaton is also acceptable by a stopwatch automaton. The consequences of t...
متن کاملRomeo: A Parametric Model-Checker for Petri Nets with Stopwatches
Last time we reported on Romeo, analyses with this tool were mostly based on translations to other tools. This new version provides an integrated TCTL model-checker and has gained in expressivity with the addition of parameters. Although there exists other tools to compute the state-space of stopwatch models, Romeo is the first one that performs TCTL model-checking on stopwatch models. Moreover...
متن کاملDissipative Transport
Nonequilibrium stationary states (NESS) describe the state of a mechanical system driven and maintained out of equilibrium by external forces. The main characteristic of a NESS is that it sustains sustain steady flows or equivalently that it exhibits positive entropy production. We discuss general features of the fluctuations of the entropy production and corresponding flows. The NESS and the e...
متن کاملDissipative Distributed
A controllable distributed dynamical system described by a system of linear constant-coeecient partial diierential equations is said to be conservative if for compact support trajectories the integral of the supply rate is zero. It is said to be dissipative if this integral is non-negative. The question that we consider is whether these global versions of conservation and dissipativeness are eq...
متن کاملDissipative Systems
We shall study a special class of systems called dissipative systems. Intuitively, we can think of systems interacting with the surrounding via some input / output ports, exchanging power with the surrounding, storing some energy and dissipating some. For example, electrical systems exchange power with the surrounding via an inner product between the current and voltage, i.e., Pe = v i. Energy ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics
سال: 2013
ISSN: 1943-2879
DOI: 10.1103/physics.6.29